Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report

UML state machines are widely used to specify dynamic systems behaviours. However its semantics is described informally, thus preventing the application of model checking techniques that could guarantee the system safety. In a former work, we proposed a formalisation of non-concurrent UML state machines using coloured Petri nets, so as to allow for formal verification. In this paper, we report our experience to implement this translation in an automated manner using the model-to-text transformation tool Acceleo. Whereas Acceleo provides interesting features that facilitated our translation process, it also suffers from limitations uneasy to overcome.Comment: In Proceedings ESSS 2014, arXiv:1405.055

Olive growing in arid area: further challenges from climate change

In Tunisia, agriculture is vulnerable to climate change with harmful impacts subsequent warming and drying trends. In these regions, olive industry plays a key role at regional and national level. Therefore, the identification of adapted olive tree genotypes has become an urgent need to develop sustainable agriculture in arid lands. This study aimed to evaluate the impact of climatic variation on the olive growing systems in arid and sub-arid areas of Tunisia. The phenological behavior of Chemlali and Zalmati, main olive cultivars wide spreading in central and southern Tunisia, respectively, were considered to evaluate their capacity to adapt to contrasting climatic conditions. Over the 2005-2019 period, olive cultivars presented variable flowering dates related to local climatic conditions. Zalmati cultivar bloom in Zarzis seems to be earlier than Chemlali cultivar in Sfax region with average flowering dates of DOY-92 (April-3) and DOY-106 (April-17), respectively. A tendency for advancing the growing season was observed with warmer winters, which leads to disruption of pollination, high risk of insect attack, and consequently harmful effects on the production and product quality. This investigation serves as a basis for making recommendations taking into account the production areas as well as for addressing projected climate change

Formalisation des diagrammes états-transitions UML concurrents

National audienceWe present in this work an extension of the transformation of state machines diagrams to colored Petri nets in the case of concurrency. This extension is completed with an implementation using Acceleo tool.Nous présentons dans ce travail une extension de la transformation des diagrammes états-transitions vers les réseaux de Petri colorés ((André et al., 2012)) au cas concurrent. Cette extension est complétée par une implémentation à l'aide de l'outil Acceleo

Olive growing in arid area: further challenges from climate change

In Tunisia, agriculture is vulnerable to climate change with harmful impacts subsequent warming and drying trends. In these regions, olive industry plays a key role at regional and national level. Therefore, the identification of adapted olive tree genotypes has become an urgent need to develop sustainable agriculture in arid lands. This study aimed to evaluate the impact of climatic variation on the olive growing systems in arid and sub-arid areas of Tunisia. The phenological behavior of Chemlali and Zalmati, main olive cultivars wide spreading in central and southern Tunisia, respectively, were considered to evaluate their capacity to adapt to contrasting climatic conditions. Over the 2005-2019 period, olive cultivars presented variable flowering dates related to local climatic conditions. Zalmati cultivar bloom in Zarzis seems to be earlier than Chemlali cultivar in Sfax region with average flowering dates of DOY-92 (April-3) and DOY-106 (April-17), respectively. A tendency for advancing the growing season was observed with warmer winters, which leads to disruption of pollination, high risk of insect attack, and consequently harmful effects on the production and product quality. This investigation serves as a basis for making recommendations taking into account the production areas as well as for addressing projected climate change

Low incidence of SARS-CoV-2, risk factors of mortality and the course of illness in the French national cohort of dialysis patients

International audienceThe aim of this study was to estimate the incidence of COVID-19 disease in the French national population of dialysis patients, their course of illness and to identify the risk factors associated with mortality. Our study included all patients on dialysis recorded in the French REIN Registry in April 2020. Clinical characteristics at last follow-up and the evolution of COVID-19 illness severity over time were recorded for diagnosed cases (either suspicious clinical symptoms, characteristic signs on the chest scan or a positive reverse transcription polymerase chain reaction) for SARS-CoV-2. A total of 1,621 infected patients were reported on the REIN registry from March 16th, 2020 to May 4th, 2020. Of these, 344 died. The prevalence of COVID-19 patients varied from less than 1% to 10% between regions. The probability of being a case was higher in males, patients with diabetes, those in need of assistance for transfer or treated at a self-care unit. Dialysis at home was associated with a lower probability of being infected as was being a smoker, a former smoker, having an active malignancy, or peripheral vascular disease. Mortality in diagnosed cases (21%) was associated with the same causes as in the general population. Higher age, hypoalbuminemia and the presence of an ischemic heart disease were statistically independently associated with a higher risk of death. Being treated at a selfcare unit was associated with a lower risk. Thus, our study showed a relatively low frequency of COVID-19 among dialysis patients contrary to what might have been assumed